<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="content-type" content="text/html; charset=windows-1250">
    <title></title>
  </head>
  <body>
    <?php
      
	  session_start();    
    
      if(isset($_SESSION['benutzername'])){
      
        include("navigation.php");
        include("footer.php");
      
      } else {
        header("Location: login.php");
      }
      
    ?>
    
    Hallo <?php echo($_SESSION["benutzername"]); ?>
    
  </body>
</html>
